- 双语例句 更多例句
利用此抽象内存模型辅助符号执行被测路径,把路径执行过程中复杂结构体、字符串和数组变量的语义操作映射到对抽象内存的操作,通过抽象内存来精准的记录路径的约束条件。
互联网摘选
八面体及十面体变几何桁架机器人位置分析的符号解法
互联网摘选
- 相关词组
- variable camber变弯度,变曲率,变曲面;
- symbolic play象征游戏;
- adjoint variable伴随变量;
- flagged variable带标记变元[变数];
- variable weather易变天气;
- variable compensation可变报酬;
- external variable外变量;
- variable annuity可变动年金;
- binomial variable二项变量;
- controlled variable控制量;可控变量;可调量;调节量;
- Average variable cost平均可变成本,平均变动成本;
- independent variable自变数,自变量;
- antithetic variable对偶变量;
- boolean variable布尔变量;
- symbolic logicn.数理逻辑,逻辑符号;
- dependent variable因变量,应变数,他变数;因变数;
- variable costs可变成本;
- bounded variable有界变数;
- symbolic assembler[计]符号汇编程序;
- variable cost变动成本;
- 今日热词
- 热门搜索
- SMC abbr.Scientific Manpower Commission <美>科学人力委员会;滑模控制;短信中心;软磁复合材料;安全管理中心;无杆气缸
- CCTV n.中央电视台;中国中央电视台(China Central Television);闭路电视(Closed Circuit Television);
- comrade n.(尤指共患难的)朋友;战友,同志;
- India n.印度(亚洲);
- alphanumeric adj.文字数字的,包括文字与数字的;
- Russia n.(1917年以前的)俄罗斯帝国;现俄罗斯;俄罗斯联邦;
- medium adj.中等的;中间的;不深不浅的;n.方式;媒介;巫师;材料;介质;
- SQLite n.一个轻量级别数据库;嵌入式数据库;创建数据库;数据库支持
- scientific report 科学报告
- heavily adv.在很大程度上;沉重地;魁梧地;缓慢而忧郁地;重载地;
- you belong with me 你是我的;你属于我;你应该和我在一起
- guard v.守卫;看守;保护;n.卫兵;看守;列车长;保护装置;防守姿势;警卫队;后卫;哨锋;
